Artemov, V.I.: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (500+)
Найпопулярніші
Перелік
- Перелік
- Таблиця

THE LOGIC OF JUSTIFICATION

ARTEMOV, SERGEI

Журнал:

The Review of Symbolic Logic

Рік:

2008

Мова:

english

Файл:

PDF, 218 KB

english, 2008

THE LAPLACE-BELTRAMI OPERATOR ON RANK ONE SEMISIMPLE SYMMETRIC SPACES IN POLAR COORDINATES

ARTEMOV A. A., MOLCHANOV V. F.

Журнал:

Вестник Тамбовского университета. Серия: Естественные и технические науки

Рік:

2005

Файл:

PDF, 292 KB

2005

Introducing Justification into Epistemic Logic

Artemov, S.

Журнал:

Journal of Logic and Computation

Рік:

2005

Мова:

english

Файл:

PDF, 119 KB

english, 2005

Production of multiple bellow expansion joints using rollers

B. S. Artemov, A. F. Chamin

Журнал:

Chemical and Petroleum Engineering

Рік:

1969

Мова:

english

Файл:

PDF, 67 KB

english, 1969

Evaluation of the accuracy of the dimensions of compensator bellows produced by the hydroforming method

B. S. Artemov

Журнал:

Chemical and Petroleum Engineering

Рік:

1985

Мова:

english

Файл:

PDF, 252 KB

english, 1985

Justification Logic (Reasoning with Reasons) || Going Past Modal Logic

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 136 KB

english, 2019

Logic of proofs

Sergei Artëmov

Журнал:

Annals of Pure and Applied Logic

Рік:

1994

Мова:

english

Файл:

PDF, 2.21 MB

english, 1994

Justified common knowledge

Sergei Artemov

Журнал:

Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 304 KB

english, 2006

The influence of thermal action on the quality of a clad metal tube sheet

N. S. Artemov, V. A. Bogush, A. G. Tkachev

Журнал:

Chemical and Petroleum Engineering

Рік:

1992

Мова:

english

Файл:

PDF, 223 KB

english, 1992

The Basic Intuitionistic Logic of Proofs

Sergei Artemov and Rosalie Iemhoff

Журнал:

Journal of Symbolic Logic

Рік:

2007

Мова:

english

Файл:

PDF, 993 KB

english, 2007

Realization of Intuitionistic Logic by Proof Polynomials

Artemov, Sergei N.

Журнал:

Journal of Applied Non-Classical Logics

Рік:

1999

Мова:

english

Файл:

PDF, 745 KB

english, 1999

Deep learning applications for predicting pharmacological properties of drugs and drug repurposing using transcriptomic data

Aliper, Alexander, Plis, Sergey, Artemov, Artem, Ulloa, Alvaro, Mamoshina, Polina, Zhavoronkov, Alex

Журнал:

Molecular Pharmaceutics

Рік:

2016

Мова:

english

Файл:

PDF, 708 KB

english, 2016

Design of efficient computational workflows for in silico drug repurposing

Vanhaelen, Quentin, Mamoshina, Polina, Aliper, Alexander M., Artemov, Artem, Lezhnina, Ksenia, Ozerov, Ivan, Labat, Ivan, Zhavoronkov, Alex

Журнал:

Drug Discovery Today

Рік:

2016

Мова:

english

Файл:

PDF, 1.19 MB

english, 2016

INTUITIONISTIC EPISTEMIC LOGIC

ARTEMOV, SERGEI, PROTOPOPESCU, TUDOR

Журнал:

The Review of Symbolic Logic

Рік:

2016

Мова:

english

Файл:

PDF, 278 KB

english, 2016

Constructive knowledge and the justified true belief paradigm

Artemov, Sergei

Журнал:

Indagationes Mathematicae

Рік:

2017

Мова:

english

Файл:

PDF, 289 KB

english, 2017

Intonation und Prosodie (Intonation and Prosody)

Artemov, V.A.

Журнал:

Phonetica

Рік:

1978

Мова:

german

Файл:

PDF, 3.50 MB

german, 1978

Justification Logic (Reasoning with Reasons) || Arithmetical Completeness and BHK Semantics

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 180 KB

english, 2019

Justification Logic (Reasoning with Reasons) || The Range of Realization

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 168 KB

english, 2019

Justification Logic (Reasoning with Reasons) || The Basics of Justification Logic

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 158 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Quantifiers in Justification Logic

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 277 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Sequents and Tableaus

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 230 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Realization – Generalized

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 257 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Fitting Models

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 204 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Introduction

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 129 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Index

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 74 KB

english, 2019

Justification Logic (Reasoning with Reasons) || Realization – How It Began

Artemov, Sergei, Fitting, Melvin

Рік:

2019

Мова:

english

Файл:

PDF, 129 KB

english, 2019

3DoF Parallel robot analysis

Artemov, D V, Masyuk, V M, Orekhov, S Y, Pchelkina, I V

Журнал:

IOP Conference Series Materials Science and Engineering

Рік:

2019

Мова:

english

Файл:

PDF, 917 KB

english, 2019

Justification awareness

Artemov, Sergei

Журнал:

Journal of Logic and Computation

Рік:

2020

Файл:

PDF, 197 KB

2020

MR molecular imaging of the Her-2/neu receptor in breast cancer cells using targeted iron oxide nanoparticles

Dmitri Artemov, Noriko Mori, Baasil Okollie, Zaver M. Bhujwalla

Журнал:

Magnetic Resonance in Medicine

Рік:

2003

Мова:

english

Файл:

PDF, 610 KB

english, 2003

About the limits of existence of α-cluster structure in nuclei

K.P. Artemov, V.Z. Goldberg, I.P. Petrov, V.P. Rudakov, I.N. Serikov, V.A. Timofeev, P.R. Christensen

Журнал:

Nuclear Physics A

Рік:

1979

Мова:

english

Файл:

PDF, 462 KB

english, 1979

A tribute to D.B. Spalding and his contributions in science and engineering

V. Artemov, S.B. Beale, G. de Vahl Davis, M.P. Escudier, N. Fueyo, B.E. Launder, E. Leonardi, M.R. Malin, W.J. Minkowycz, S.V. Patankar, A. Pollard, W. Rodi, A. Runchal, S.P. Vanka

Журнал:

International Journal of Heat and Mass Transfer

Рік:

2009

Мова:

english

Файл:

PDF, 502 KB

english, 2009

VGa-based alloys as candidate materials for fusion reactor application

L.I. Ivanov, Yu.M. Platov, A.I. Dediurin, I.V. Borovitskaia, V.M. Lazorenko, N.N. Savvateev, V.V. Sidorova, M.I. Zakharova, N.A. Artemov

Журнал:

Journal of Nuclear Materials

Рік:

1996

Мова:

english

Файл:

PDF, 359 KB

english, 1996

Elastic modules and thermal conductivity of neutron irradiated type 13Cr2MoNbVB ferritic—martensitic steel

M.I. Zakharova, N.A. Artemov, D.V. Petrov

Журнал:

Journal of Nuclear Materials

Рік:

1996

Мова:

english

Файл:

PDF, 425 KB

english, 1996

Training of metrologists in various industries

V. I. Artemov, G. F. Zimin

Журнал:

Measurement Techniques

Рік:

1975

Мова:

english

Файл:

PDF, 148 KB

english, 1975

Increasing the tube accuracy rolled on a pilger mill

V. V. Ermakov, Yu. V. Poyurovskii, E. I. Karpov, S. A. Reznikov, N. V. Artemov, S. A. Borisenko, B. N. Matveev, I. G. Getiya, L. M. Troshchenko, A. A. Kashira, E. I. Tulainov, L. G. Ermakova, N. G. Zo

Журнал:

Metallurgist

Рік:

1976

Мова:

english

Файл:

PDF, 233 KB

english, 1976

Force parameters in hydroforming of the corrugations of expansion bellows

V. S. Artemov

Журнал:

Chemical and Petroleum Engineering

Рік:

1984

Мова:

english

Файл:

PDF, 285 KB

english, 1984

Discontinuous solutions in the theory of plasticity

M. A. Artemov, D. D. Ivlev

Журнал:

International Applied Mechanics

Рік:

1996

Мова:

english

Файл:

PDF, 124 KB

english, 1996

Effect of blasting on the bearing capacity of pillars

V. G. Artemov, V. G. Zil’bershmidt, P. A. Lykhin, A. B. Pravin

Журнал:

Journal of Mining Science

Рік:

1971

Мова:

english

Файл:

PDF, 450 KB

english, 1971

Mud volcanoes and gas hydrates in the Black Sea: new data from Dvurechenskii and Odessa mud volcanoes

G. Bohrmann, M. Ivanov, J.-P. Foucher, V. Spiess, J. Bialas, J. Greinert, W. Weinrebe, F. Abegg, G. Aloisi, Y. Artemov, V. Blinova, M. Drews, F. Heidersdorf, A. Krabbenhöft, I. Klaucke, S. Krastel, T.

Журнал:

Geo-Marine Letters

Рік:

2003

Мова:

english

Файл:

PDF, 1.44 MB

english, 2003

Self-Assembled Three Dimensional Radio Frequency (RF) Shielded Containers for Cell Encapsulation

Barjor Gimi, Timothy Leong, Zhiyong Gu, Michael Yang, Dmitri Artemov, Zaver M. Bhujwalla, David H. Gracias

Журнал:

Biomedical Microdevices

Рік:

2005

Мова:

english

Файл:

PDF, 288 KB

english, 2005

Numerical Simulation of Convection-Conduction Heat Transfer in a Block of Rectangular Microchannels

V. I. Artemov, A. I. Leontiev, A. F. Polyakov

Журнал:

High Temperature

Рік:

2005

Мова:

english

Файл:

PDF, 516 KB

english, 2005

BWO spectroscopy of water spin isomers based on desorption from glycerol

A. M. Makurenkov, V. G. Artemov, P. O. Kapralov, V. I. Tikhonov, A. A. Volkov

Журнал:

Radiophysics and Quantum Electronics

Рік:

2007

Мова:

english

Файл:

PDF, 529 KB

english, 2007

Polishing nanodiamonds

A. S. Artemov

Журнал:

Physics of the Solid State

Рік:

2004

Мова:

english

Файл:

PDF, 844 KB

english, 2004

Diffusion of fullerene-based nanocars on the surface of a gold crystal

S. S. Konyukhov, N. N. Artemov, I. A. Kaliman, I. V. Kupchenko, A. V. Nemukhin, A. A. Moskovskii

Журнал:

Moscow University Chemistry Bulletin

Рік:

2010

Мова:

english

Файл:

PDF, 171 KB

english, 2010

Sorption experiments with water spin isomers in glycerol

V. I. Tikhonov, A. M. Makurenkov, V. G. Artemov, O. E. Porodinkov, A. A. Volkov

Журнал:

Physics of Wave Phenomena

Рік:

2007

Мова:

english

Файл:

PDF, 735 KB

english, 2007

Vortex and Cavitation Flows in Hydraulic Systems

E. P. Zaporozhets, L. P. Kholpanov, G. K. Zibert, A. V. Artemov

Журнал:

Theoretical Foundations of Chemical Engineering

Рік:

2004

Мова:

english

Файл:

PDF, 279 KB

english, 2004

Spalling resistance of high-density chamotte material reinforced with ceramic fibre

D. M. Karpinos, E. P. Mikhashchuk, G. V. Efimov, V. N. Pavlikov, V. A. Artemov, V. A. Efimov

Журнал:

Refractories and Industrial Ceramics

Рік:

1974

Мова:

english

Файл:

PDF, 181 KB

english, 1974

The Ontology of Justifications in the Logical Setting

Sergei N. Artemov

Журнал:

Studia Logica

Рік:

2012

Мова:

english

Файл:

PDF, 199 KB

english, 2012

Extrapolation of astrophysicalSfactors for the reaction14N((p, γ)15O to near-zero energies

S. V. Artemov, S. B. Igamov, Q. I. Tursunmakhatov, R. Yarmukhamedov

Журнал:

Physics of Atomic Nuclei

Рік:

2012

Мова:

english

Файл:

PDF, 972 KB

english, 2012

Telescopic systems for investigating the atmosphere

Borodin, V. G., Vakhmyanin, K. P., Artemov, A. A., Krasov, S. V., Potapov, S. L., Charukhchev, A. V., Vesnin, V. N.

Журнал:

Journal of Optical Technology

Рік:

1999

Мова:

english

Файл:

PDF, 50 KB

english, 1999